Set function - PDFSEARCH.IO - Document Search Engine

Set function
Results: 1102

#	Item
411	Leiden, November 18, 2014 OPEN PROBLEM Tuning the Learning Rate: Contradictory Results Add to Reading List Source URL: www.lorentzcenter.nl Language: English - Date: 2014-11-21 09:00:43 Mathematical optimization Mathematics Analysis Mathematical finance Convex function Convex optimization Convex set Convexity Convex analysis Mathematical analysis Convex geometry
412	AM 255: Problem Set 2 Douglas Lanman 28 September 2006 Problem 1 Consider the first-order wave equation given on page 38 of [1]. Add to Reading List Source URL: mesh.brown.edu Language: English - Date: 2006-09-27 23:35:40 Ordinary differential equations Signal processing Sinc function Symbol Wave equation Differential equation Finite difference Spectral theory of ordinary differential equations Mathematical analysis Calculus Mathematics
413	Radically Incomplete Reasoning about Containers: A First-Order Theory Ernest Davis September 28, 2013 This paper is a supplement to the paper, “Reasoning about Containers and Manipulation using Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-09-28 11:14:55 Model theory Predicate logic Metalogic S Set theory Z notation Functional predicate First-order logic Function Mathematical logic Mathematics Logic
414	Statistics 582, Problem Set 4 Solutions Wellner; [removed]Consider Example 1.3 as given on page 4 of the Chapter 5 notes. (a) Consider calculation of the Bayes rule for the prior λ1 = λ, λ2 = 1 − λ with λ ∈ [ Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2015-02-05 18:34:46 Bayes estimator Bayesian inference Conjugate prior Gamma distribution Maximum likelihood Loss function Symbol Parametric model Statistics Statistical theory Estimation theory
415	On Formal Specification of a Proof Tool∗ R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:33:45 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
416	HOL Constant Definition Done Right Rob Arthan Lemma 1 Ltd./ School of Electronic Engineering and Computer Science, Queen Mary, University of London, UK Abstract. This note gives a proposal for a simpler and more powerfu Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-04-21 11:45:28 Logic in computer science HOL Type theory Function Axiom Isabelle Axioms of set theory Mathematics Mathematical logic Logic
417	AM 255: Problem Set 4 Douglas Lanman 24 October 2006 Problem 1 Prove that the θ scheme Add to Reading List Source URL: mesh.brown.edu Language: English - Date: 2006-10-24 14:01:35 Fourier transform Sinc function Mathematical analysis Symbol Heat equation
418	Problem Set 1 Particles and Fields II Spring, ‘14 Due: January 23, 2014 Problem 1: In Mathematica, define a function that does the line integral of a vector Add to Reading List Source URL: physuna.phs.uc.edu Language: English Functions and mappings Multivariable calculus Surfaces Differential topology Elementary geometry Differential equation Sphere Partial differential equation Method of image charges Mathematical analysis Mathematics Geometry
419	The Pricing War Continues: On Competitive Multi-Item Pricing Omer Lev Joel Oren and Craig Boutilier Jeffrey S. Rosenschein Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-11-27 10:18:19 Economics Nash equilibrium Price of anarchy Submodular set function Valuation Price of stability Strategy Auction theory Mechanism design Game theory Problem solving Mathematics
420	CS 195-5: Machine Learning Problem Set 4 Douglas Lanman [removed] 10 November 2006 Add to Reading List Source URL: mesh.brown.edu Language: English - Date: 2006-11-10 02:01:56 Statistical classification Support vector machine Gaussian function Linear regression Errors and residuals in statistics Statistics Regression analysis Econometrics

UPDATE